1. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
2. Computer Security -- ESORICS 92 :
پدیدآورنده : edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
3. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
4. Concise guide to software engineering :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software engineering.,Software engineering.
رده :
QA76
.
758
.
O66
2017
5. Databases and Information Systems :
پدیدآورنده : edited by Janis Barzdins, Albertas Caplinskas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
6. ESPRIT '90 :
پدیدآورنده : Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.
7. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
8. FM '99 - formal methods / 2.
پدیدآورنده : Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
9. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
10. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
11. Formal specification :
پدیدآورنده : Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
12. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
پدیدآورنده : Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
رده :
QA
76
.
L28
Vol
.
2635
13. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Machinery.
14. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Machinery.
رده :
TK7888
.
3
E358
1997
15. Information Systems Engineering :
پدیدآورنده : by Arne Sølvberg, David Chenho Kung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
16. Intelligent Robotic Systems
پدیدآورنده : by Witold Jacak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer science.,Computers.,Mechanical engineering.,Mechanical engineering.,Artificial Intelligence (incl. Robotics),Theory of Computation.
17. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
18. OOIS 2001 :
پدیدآورنده : edited by Yingxu Wang, Shushma Patel, Ronald Johnston.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Object-oriented methods (Computer science),Object-oriented methods (Computer science) -- Congresses.
19. ++Practical UML statecharts in C/C
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; -System design. ; Computer software ; Development. ; Formal methods (Computer science) ; Statecharts (Computer science) ; UML (Computer science) ; Object
20. Practical UML statecharts in C/C++ :
پدیدآورنده : Miro Samek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development.,Formal methods (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),System design.,UML (Computer science),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Object Oriented.,Formal methods (Computer science),Formal methods (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),Statecharts (Computer science),System design.,System design.,UML (Computer science),UML (Computer science)
رده :
QA76
.
9
.
S88
S26
2009eb
